1. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
پدیدآورنده: Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
رده :
QA
10
.
A45
1990
2. CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
پدیدآورنده: Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer science- Mathematics- Congresses ► Logic, Symbolic and mathematical- Congresses
3. Colog- 88 Proceedings of...
پدیدآورنده: ^aInternational conference on computer logic, Tallin USSR, 1988
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic- Symbolic and mathematical
4. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
پدیدآورنده: Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W624
1990
5. Deontic logic, agency and normative systems
پدیدآورنده: DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996. Mark A. Brown and José Carmo (ed.). Publ. in collab. with the British Computer Society
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Deontische Logik,Informatik,Normative Logik
6. Proceeding 33rd international symposium on multiple - valued logic, 16-19 May 2003, Tokyo, Japan
پدیدآورنده: Sponsored by IEEE Computer Society Technical Committeeon Multiple - valued logic , Japanese Research Group on Multiple - valued logic Meiji Uni
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: congresses ، Many-valued logic
رده :
QA
9
.
45
.
M84
2003
7. Proceedings
پدیدآورنده: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
8. Proceedings
پدیدآورنده: / Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Algebraic logic - Congresses,Algebra, Universal - Congresses
رده :
QA10
.
A45
1988
9. Proceedings
پدیدآورنده: Algebraic Logic and Universal Algebra in Computer Science Conference, )8891, Ames, Iowa(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebraic logic-- Congresses,، Algebra, Universal-- Congresses
رده :
QA
10
.
A45
1988
10. Proceedings: the twenty-Fourth International Symspoium on Multiple - Valued Logic, May 25-27, 1994, Boston, Massachusetts
پدیدآورنده: sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Multiple - Valued Logic, University of Massachusetts at Boston
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Many-valued logic - Congresses
رده :
QA
9
.
45
.
I57
1994
11. Proceedings, the twenty-third International Symspoium on Multiple - Valued Logic, May 24-27, 1993, Sacramento, California
پدیدآورنده: sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Multiple - Valued Logic, Center for Image Processing and Integrated Computing at University of California, Davis
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Many-valued logic - Congresses
رده :
QA
9
.
45
.
I57
1993
12. اصول طراحی مدارهای منطقی
پدیدآورنده: / مولفین موریس مانو، چارلز. آر. کیم,Logic and computer design fundamentals .2nd ed, 2000
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: کامپیوترهای رقمی -- مدارها,مدارهای منطقی,طراحی منطقی
رده :
TK
۷۸۸۸
/
۴
/
م
۲
الف
۶
13. اصول طراحی مدارهای منطقی
پدیدآورنده: / مولفین موریس مانو، چارلز. آر. کیم ,Logic and computer design fundamentals, 2nd ed, 2000,مانو,Mano
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: کامپیوترهای رقمی,مدارهای منطقی,طراحی منطقی, -- مدارها
رده :
TK
۷۸۸۸
/
۴
/
م
۲
الف
۶ ۱۳۷۹
14. اصول طراحی مدارهای منطقی
پدیدآورنده: / مولفین موریس مانو، چارلز.آر. کیم,عنوان اصلی: Logic and computer design fundamentals .2nd ed, 2000.,مانو,Mano
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: کامپیوترهای رقمی,مدارهای منطقی,طراحی منطقی, -- مدارها
رده :
TK
۷۸۸۸
/
۴
/
م
۲
الف
۶ ۱۳۷۹
15. اصول طراحی مدارهای منطقی
پدیدآورنده: / تالیف موریس مانو و چارلز. آر. کیم,عنوان به زبان اصلی: Logic and computer design fundamentals .2nd ed, 2000
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: مدارهای منطقی,کامپیوترهای رقمی- مدارها
رده :
TK
۷۸۶۸
/
م
۴۸
م
۲ ۱۳۷۹
16. اصول طراحی مدارهای منطقی
پدیدآورنده: / مولفین موریس مانو، چارلز. آر. کیم,عنوان‌اصلی: Logic and computer design fundamentals .2nd ed, 2000
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: کامیپوترهای رقمی -- مدارها,مدارهای منطقی,طراحی منطقی
رده :
TK
۷۸۸۸
/
۴
/
م
۲
الف
۶
17. اصول طراحی مدارهای منطقی
پدیدآورنده: / مولفین موریس مانو، چارلز.آر. کیم، مترجم علیرضا غنودی,عنوان به زبان اصلی: Logic and computer design fundamentals .2nd ed, 2000.
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع: کامپیوترهای رقمی -- مدارها,مدارهای منطقی,طراحی منطقی
رده :
TK
۷۸۶۸
/
م
۲
الف
۶ ۱۳۷۹
18. طراحی دیجیتال (مدار منطقی)
پدیدآورنده: / مؤلف موریس مانو,عنوان اصلی: Digital logic and computer design,مانو,Mano
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: کامپیوترهای رقمی,مدارهای منطقی,مدارهای مجتمع رقمی,طراحی منطقی, -- مدارها
رده :
TK
۷۸۸۸
/
۳
/
م
۲
ط
۴ ۱۳۷۴
19. طراحی دیجیتال (مدار منطقی)
پدیدآورنده: / مؤلف موریس مانو,عنوان اصلی: Digital logic and computer design,مانو,Mano
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: کامپیوترهای رقمی,مدارهای منطقی,مدارهای مجتمع رقمی,طراحی منطقی
رده :
TK
۷۸۸۸
/
۳
/
م
۲
ط
۴
20. کنترل کننده هاي منطقي برنامه پذير(PLC)[ پي. ال. سي]
پدیدآورنده: / تاليف مارکوکستانزو,عنوان اصلي: Programmable logic controllers: the industrial computer ;
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: کنترل کننده هاي برنامه پذير
رده :
۶۲۹
/
۸۹۵
ک
۵۴۳
ک
۱۳۷۹
